Explicit Asymmetric Bounds for Robust Stability of Continuous and Discrete-Time-Systems

The problem of robust stability in linear systems with parametric uncertainties is considered. Explicit stability bounds on uncertain parameters are derived and expressed in terms of linear inequalities for continuous systems and inequalities with quadratic terms for discrete-time systems. Cases where system parameters are nonlinear functions of an uncertainty are also examine

Unstable Attractors: Existence and Robustness in Networks of Oscillators With Delayed Pulse Coupling

We consider unstable attractors; Milnor attractors $A$ such that, for some neighbourhood $U$ of $A$, almost all initial conditions leave $U$. Previous research strongly suggests that unstable attractors exist and even occur robustly (i.e. for open sets of parameter values) in a system modelling biological phenomena, namely in globally coupled oscillators with delayed pulse interactions. In the first part of this paper we give a rigorous definition of unstable attractors for general dynamical systems. We classify unstable attractors into two types, depending on whether or not there is a neighbourhood of the attractor that intersects the basin in a set of positive measure. We give examples of both types of unstable attractor; these examples have non-invertible dynamics that collapse certain open sets onto stable manifolds of saddle orbits. In the second part we give the first rigorous demonstration of existence and robust occurrence of unstable attractors in a network of oscillators with delayed pulse coupling. Although such systems are technically hybrid systems of delay differential equations with discontinuous `firing' events, we show that their dynamics reduces to a finite dimensional hybrid system system after a finite time and hence we can discuss Milnor attractors for this reduced finite dimensional system. We prove that for an open set of phase resetting functions there are saddle periodic orbits that are unstable attractors.Comment: 29 pages, 8 figures,submitted to Nonlinearit

In vitro and in vivo properties of distinct populations of amniotic fluid mesenchymal progenitor cells

Human mesenchymal progenitor cells (MPCs) are considered to be of great promise for use in tissue repair and regenerative medicine. MPCs represent multipotent adherent cells, able to give rise to multiple mesenchymal lineages such as osteoblasts, adipocytes or chondrocytes. Recently, we identified and characterized human second trimester amniotic fluid (AF) as a novel source of MPCs. Herein, we found that early colonies of AF-MPCs consisted of two morphologically distinct adherent cell types, termed as spindle-shaped (SS) and round-shaped (RS). A detailed analysis of these two populations showed that SS-AF-MPCs expressed CD90 antigen in a higher level and exhibited a greater proliferation and differentiation potential. To characterize better the molecular identity of these two populations, we have generated a comparative proteomic map of SS-AF-MPCs and RS-AF-MPCs, identifying 25 differentially expressed proteins and 10 proteins uniquely expressed in RS-AF-MPCs. Furthermore, SS-AF-MPCs exhibited significantly higher migration ability on extracellular matrices, such as fibronectin and laminin in vitro, compared to RS-AF-MPCs and thus we further evaluated SS-AF-MPCs for potential use as therapeutic tools in vivo. Therefore, we tested whether GFP-lentiviral transduced SS-AF-MPCs retained their stem cell identity, proliferation and differentiation potential. GFP-SS-AF-MPCs were then successfully delivered into immunosuppressed mice, distributed in different tissues and survived longterm in vivo. In summary, these results demonstrated that AF-MPCs consisted of at least two different MPC populations. In addition, SS-AF-MPCs, isolated based on their colony morphology and CD90 expression, represented the only MPC population that can be expanded easily in culture and used as an efficient tool for future in vivo therapeutic applications

Formalising the Continuous/Discrete Modeling Step

Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete domains. The difference between the two is quantified using generic results from ODE theory, and these estimates can be compared with the exact solutions. Such results do not fit well into a conventional model based refinement framework; however they can be accommodated into a model based retrenchment. The retrenchment is described, and the way it can interface to refinement development on both the continuous and discrete sides is outlined. The approach is compared to what can be achieved using hybrid systems techniques.Comment: In Proceedings Refine 2011, arXiv:1106.348

Producing valid statistics when legislation, culture, and medical practices differ for births at or before the threshold of survival: Report of a European workshop

To access publisher's full text version of this article, please click on the hyperlink in Additional Links field or click on the hyperlink at the top of the page marked Downloa

Rejection of mismatched disturbances for systems with input delay via a predictive extended state observer

[EN] The problem of output stabilization and disturbance rejection for input-delayed systems is tackled in this work. First, a suitable transformation is introduced to translate mismatched disturbances into an equivalent input disturbance. Then, an extended state observer is combined with a predictive observer structure to obtain a future estimation of both the state and the disturbance. A disturbance model is assumed to be known but attenuation of unmodeled components is also considered. The stabilization is proved via Lyapunov-Krasovskii functionals, leading to sufficient conditions in terms of linear matrix inequalities for the closed-loop analysis and parameter tuning. The proposed strategy is illustrated through a numerical example.PROMETEOII/2013/004; Conselleria d'Educacio; Generalitat Valenciana, Grant/Award Number: TIN2014-56158-C4-4-P-AR; Ministerio de Economia y Competitividad, Grant/Award Number: FPI-UPV 2014; Universitat Politecnica de ValenciaSanz Diaz, R.; García Gil, PJ.; Fridman, E.; Albertos Pérez, P. (2018). Rejection of mismatched disturbances for systems with input delay via a predictive extended state observer. International Journal of Robust and Nonlinear Control. 28(6):2457-2467. https://doi.org/10.1002/rnc.4027S24572467286Stability and Stabilization of Systems with Time Delay. (2011). IEEE Control Systems, 31(1), 38-65. doi:10.1109/mcs.2010.939135Fridman, E. (2014). Introduction to Time-Delay Systems. Systems & Control: Foundations & Applications. doi:10.1007/978-3-319-09393-2Watanabe, K., & Ito, M. (1981). A process-model control for linear systems with delay. IEEE Transactions on Automatic Control, 26(6), 1261-1269. doi:10.1109/tac.1981.1102802Astrom, K. J., Hang, C. C., & Lim, B. C. (1994). A new Smith predictor for controlling a process with an integrator and long dead-time. IEEE Transactions on Automatic Control, 39(2), 343-345. doi:10.1109/9.272329Matausek, M. R., & Micic, A. D. (1996). A modified Smith predictor for controlling a process with an integrator and long dead-time. IEEE Transactions on Automatic Control, 41(8), 1199-1203. doi:10.1109/9.533684García, P., & Albertos, P. (2008). A new dead-time compensator to control stable and integrating processes with long dead-time. Automatica, 44(4), 1062-1071. doi:10.1016/j.automatica.2007.08.022Normey-Rico, J. E., & Camacho, E. F. (2009). Unified approach for robust dead-time compensator design. Journal of Process Control, 19(1), 38-47. doi:10.1016/j.jprocont.2008.02.003Manitius, A., & Olbrot, A. (1979). Finite spectrum assignment problem for systems with delays. IEEE Transactions on Automatic Control, 24(4), 541-552. doi:10.1109/tac.1979.1102124Artstein, Z. (1982). Linear systems with delayed controls: A reduction. IEEE Transactions on Automatic Control, 27(4), 869-879. doi:10.1109/tac.1982.1103023Krstic, M. (2008). Lyapunov tools for predictor feedbacks for delay systems: Inverse optimality and robustness to delay mismatch. Automatica, 44(11), 2930-2935. doi:10.1016/j.automatica.2008.04.010Léchappé, V., Moulay, E., Plestan, F., Glumineau, A., & Chriette, A. (2015). New predictive scheme for the control of LTI systems with input delay and unknown disturbances. Automatica, 52, 179-184. doi:10.1016/j.automatica.2014.11.003Sanz, R., Garcia, P., & Albertos, P. (2016). Enhanced disturbance rejection for a predictor-based control of LTI systems with input delay. Automatica, 72, 205-208. doi:10.1016/j.automatica.2016.05.019Basturk, H. I., & Krstic, M. (2015). Adaptive sinusoidal disturbance cancellation for unknown LTI systems despite input delay. Automatica, 58, 131-138. doi:10.1016/j.automatica.2015.05.013Basturk, H. I. (2017). Cancellation of unmatched biased sinusoidal disturbances for unknown LTI systems in the presence of state delay. Automatica, 76, 169-176. doi:10.1016/j.automatica.2016.10.006Sanz, R., Garcia, P., Albertos, P., & Zhong, Q.-C. (2016). Robust controller design for input-delayed systems using predictive feedback and an uncertainty estimator. International Journal of Robust and Nonlinear Control, 27(10), 1826-1840. doi:10.1002/rnc.3639Mondie, S., & Michiels, W. (2003). Finite spectrum assignment of unstable time-delay systems with a safe implementation. IEEE Transactions on Automatic Control, 48(12), 2207-2212. doi:10.1109/tac.2003.820147Zhong, Q.-C. (2004). On Distributed Delay in Linear Control Laws—Part I: Discrete-Delay Implementations. IEEE Transactions on Automatic Control, 49(11), 2074-2080. doi:10.1109/tac.2004.837531Zhou, B., Lin, Z., & Duan, G.-R. (2012). Truncated predictor feedback for linear systems with long time-varying input delays. Automatica, 48(10), 2387-2399. doi:10.1016/j.automatica.2012.06.032Zhou, B., Li, Z.-Y., & Lin, Z. (2013). On higher-order truncated predictor feedback for linear systems with input delay. International Journal of Robust and Nonlinear Control, 24(17), 2609-2627. doi:10.1002/rnc.3012Besançon G Georges D Benayache Z Asymptotic state prediction for continuous-time systems with delayed input and application to control IEEE 2007 Kos, GreeceNajafi, M., Hosseinnia, S., Sheikholeslam, F., & Karimadini, M. (2013). Closed-loop control of dead time systems via sequential sub-predictors. International Journal of Control, 86(4), 599-609. doi:10.1080/00207179.2012.751627Léchappé V Moulay E Plestan F Dynamic observation-prediction for LTI systems with a time-varying delay in the input IEEE 2016 Las Vegas, NVCacace, F., Conte, F., Germani, A., & Pepe, P. (2016). Stabilization of strict-feedback nonlinear systems with input delay using closed-loop predictors. International Journal of Robust and Nonlinear Control, 26(16), 3524-3540. doi:10.1002/rnc.3517Mazenc, F., & Malisoff, M. (2017). Stabilization of Nonlinear Time-Varying Systems Through a New Prediction Based Approach. IEEE Transactions on Automatic Control, 62(6), 2908-2915. doi:10.1109/tac.2016.2600500Guo, L., & Chen, W.-H. (2005). Disturbance attenuation and rejection for systems with nonlinearity via DOBC approach. International Journal of Robust and Nonlinear Control, 15(3), 109-125. doi:10.1002/rnc.978Fridman, E. (2003). Output regulation of nonlinear systems with delay. Systems & Control Letters, 50(2), 81-93. doi:10.1016/s0167-6911(03)00131-2Isidori, A., & Byrnes, C. I. (1990). Output regulation of nonlinear systems. IEEE Transactions on Automatic Control, 35(2), 131-140. doi:10.1109/9.45168Ding, Z. (2003). Global stabilization and disturbance suppression of a class of nonlinear systems with uncertain internal model. Automatica, 39(3), 471-479. doi:10.1016/s0005-1098(02)00251-0Chen, W.-H., Yang, J., Guo, L., & Li, S. (2016). Disturbance-Observer-Based Control and Related Methods—An Overview. IEEE Transactions on Industrial Electronics, 63(2), 1083-1095. doi:10.1109/tie.2015.2478397Fridman, E., & Shaked, U. (2002). An improved stabilization method for linear time-delay systems. IEEE Transactions on Automatic Control, 47(11), 1931-1937. doi:10.1109/tac.2002.804462Fridman, E., & Orlov, Y. (2009). Exponential stability of linear distributed parameter systems with time-varying delays. Automatica, 45(1), 194-201. doi:10.1016/j.automatica.2008.06.00

The Next Generation of Human-Drone Partnerships: Co-Designing an Emergency Response System

The use of semi-autonomous Unmanned Aerial Vehicles (UAV) to support emergency response scenarios, such as fire surveillance and search and rescue, offers the potential for huge societal benefits. However, designing an effective solution in this complex domain represents a "wicked design" problem, requiring a careful balance between trade-offs associated with drone autonomy versus human control, mission functionality versus safety, and the diverse needs of different stakeholders. This paper focuses on designing for situational awareness (SA) using a scenario-driven, participatory design process. We developed SA cards describing six common design-problems, known as SA demons, and three new demons of importance to our domain. We then used these SA cards to equip domain experts with SA knowledge so that they could more fully engage in the design process. We designed a potentially reusable solution for achieving SA in multi-stakeholder, multi-UAV, emergency response applications.Comment: 10 Pages, 5 Figures, 2 Tables. This article is publishing in CHI202